Nuprl Definition : opt
4,23
postcript
pdf
(
b
?
x
) == if
b
inl(
x
) else inr(
) fi
latex
Definitions
if
b
t
else
f
fi
,
FDL editor aliases
opt
origin
inl(x) else inr(
) fi inl(x) else inr() fi t else f fi